Перегляд за автором "Шкільняк, C.С."

Сортувати за: Порядок: Результатів:

  • Алгебри загальних недетермінованих предикатів 
    Нікітченко, М.С.; Шкільняк, О.С.; Шкільняк, C.С. (Проблеми програмування, 2018)
    Запропоновано та досліджено логіки загальних недетермінованих квазіарних предикатів – GND-предикатів. Такі предикати є узагальненням часткових неоднозначних предикатів реляційного типу. Основна увага приділена побудові ...
  • Першопорядковi композиційно-номінативні логіки з предикатами слабкої та строгої рівності 
    Шкільняк, C.С. (Проблеми програмування, 2019)
    Досліджено нові програмно-орієнтовані логіки часткових предикатів з операцією (композицією) предикатного доповнення, такі логіки названо LC. Для першопорядкових LC запропоновано низку відношень логічного наслідку та відношень ...
  • Пропозиційні логіки часткових предикатів з композицією предикатного доповнення 
    Нікітченко, М.С.; Шкільняк, О.С.; Шкільняк, C.С.; Мамедов, Т.А. (Проблеми програмування, 2019)
    Досліджено нові програмно-орієнтовані логічні формалізми – логіки часткових предикатів з операцією (композицією) предикатного доповненням, названі LC. Подібні операції використовуються в різних варіантах логік Флойда – ...
  • Чисті першопорядкові квазіaрні логіки з предикатами рівності 
    Нікітченко, М.С.; Шкільняк, C.С. (Проблеми програмування, 2017)
    Вивчаються чистi першопорядковi квазіарні логіки однозначних та неоднозначних часткових предикатів. Основна увага приділена таким логікам із спеціальними предикатами рівності. Виділено чистi першопорядковi логіки з предикатами ...